Selective Inheritance and Overriding in Statically-Typed Object-Oriented Languages

We examine inheritance ill B~alically-lypedobjecl.-orienled languages. In some object-oriented languages it is possible to inherit selected methow from superdasse8. We call this selective inheritance. The obvious approach to selective inheritance in previous record-biLSed models of classes requires unnecessary ty pc reslricliollS. In this paper we propose 11. slightly different model whicll is more lenient in this regard. Furtllermore, our approach allows more classes to be typed in cases where methods are ovelIidden. We discuss modding objecl.-oriented languages and the implications of our proposed model. Categories iLIld Subject Descriptors: D.3.3 {Programming Languages]: La.nguage Constructs-data types and structures: F.3.3 [Logics and Meanings of Programs}: Studies of Program Constructstype structure General Terms: Lauguages. AdditionaJ I{eywords and Phrases: Objecl.-orienled languages, inheritance, records